1![Requirement Enforcement by Transformation Automata Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA Requirement Enforcement by Transformation Automata Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA](https://www.pdfsearch.io/img/2daebedf19b2b1905d10f7624a5844a8.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2012-08-02 20:33:11
|
---|
2![1 Annotation inference for modular checkers Cormac Flanagan, Rajeev Joshi, and K. Rustan M. Leino Compaq Systems Research Center, 130 Lytton Ave., Palo Alto, CA 94301, U.S.A. 1 Annotation inference for modular checkers Cormac Flanagan, Rajeev Joshi, and K. Rustan M. Leino Compaq Systems Research Center, 130 Lytton Ave., Palo Alto, CA 94301, U.S.A.](https://www.pdfsearch.io/img/3a24bb9a078d61259d4565f5b76a4094.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:26:03
|
---|
3![3260 Hillview Ave
Palo Alto, CAMemory Safety Analyzer for C Features 3260 Hillview Ave
Palo Alto, CAMemory Safety Analyzer for C Features](https://www.pdfsearch.io/img/a143553325f266729f5838f79d6af325.jpg) | Add to Reading ListSource URL: kestreltechnology.comLanguage: English - Date: 2017-09-28 14:15:48
|
---|
4![Theorem Proving using Lazy Proof Expli
ation Corma
Flanagan1 , Rajeev Joshi1 , Xinming Ou2 , and James B. Saxe1 1 Systems Resear
h Center, HP Labs, Palo Alto, CA 2 Theorem Proving using Lazy Proof Expli
ation Corma
Flanagan1 , Rajeev Joshi1 , Xinming Ou2 , and James B. Saxe1 1 Systems Resear
h Center, HP Labs, Palo Alto, CA 2](https://www.pdfsearch.io/img/288d657b371943d9f8e22d6605813db6.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:26:03
|
---|
5![Composition and Re
nement of Behavioral Speci
cations Dusko Pavlovic and Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA Composition and Re
nement of Behavioral Speci
cations Dusko Pavlovic and Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA](https://www.pdfsearch.io/img/296372f894ca84f731dd1a448797160c.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2012-08-02 20:57:16
|
---|
6![Generating Programs plus Proofs by Refinement Douglas R. Smith Kestrel Institute, Palo Alto, CaliforniaUSA 1 Generating Programs plus Proofs by Refinement Douglas R. Smith Kestrel Institute, Palo Alto, CaliforniaUSA 1](https://www.pdfsearch.io/img/b46f3ece91884a176d041a30f6c7a01e.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2012-08-02 20:27:15
|
---|
7![Using Speakeasy for Ad Hoc Peer-to-Peer Collaboration W. Keith Edwards, Mark W. Newman, Jana Z. Sedivy, Trevor F Smith, Dirk Balfanz, D. K. Smetters, H. Chi Wong, Shahram Izadi Palo Alto Research Center 3333 Coyote Hill Using Speakeasy for Ad Hoc Peer-to-Peer Collaboration W. Keith Edwards, Mark W. Newman, Jana Z. Sedivy, Trevor F Smith, Dirk Balfanz, D. K. Smetters, H. Chi Wong, Shahram Izadi Palo Alto Research Center 3333 Coyote Hill](https://www.pdfsearch.io/img/8f1eea1d1baef09340d8201540cc3573.jpg) | Add to Reading ListSource URL: trevor.smith.nameLanguage: English - Date: 2012-11-23 14:19:46
|
---|
8![THE “3D WIKI”: BLENDING VIRTUAL WORLDS AND WEB ARCHITECTURE FOR REMOTE COLLABORATION Michael Roberts1, Nicolas Ducheneaut1, Trevor F. Smith2 1 Palo Alto Research Center andSolutions, Inc. THE “3D WIKI”: BLENDING VIRTUAL WORLDS AND WEB ARCHITECTURE FOR REMOTE COLLABORATION Michael Roberts1, Nicolas Ducheneaut1, Trevor F. Smith2 1 Palo Alto Research Center andSolutions, Inc.](https://www.pdfsearch.io/img/40866d816d930a5f7d58cb15718e4bdf.jpg) | Add to Reading ListSource URL: trevor.smith.nameLanguage: English - Date: 2012-11-23 14:19:46
|
---|
9![A Specification of Java Loading and Bytecode Verification Allen Goldberg Kestrel Institute 3260 Hillview Av. Palo Alto, CA 94304 A Specification of Java Loading and Bytecode Verification Allen Goldberg Kestrel Institute 3260 Hillview Av. Palo Alto, CA 94304](https://www.pdfsearch.io/img/4ee5985c121b695d8c5657bd0082c653.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2012-08-08 19:03:00
|
---|
10![Toward the Synthesis of Constraint Solvers Douglas R. Smith Stephen J. Westfold Kestrel Institute Palo Alto, CA 94304 Toward the Synthesis of Constraint Solvers Douglas R. Smith Stephen J. Westfold Kestrel Institute Palo Alto, CA 94304](https://www.pdfsearch.io/img/662f84881d83c928379d7019ae8c7285.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2014-11-17 20:46:33
|
---|